Search results for "finite [mass]"
showing 6 items of 356 documents
A Gaschütz–Lubeseder Type Theorem in a Class of Locally Finite Groups
1999
The aim of this paper is to present a Gaschutz–Lubeseder type theorem in the class cL of all radical locally finite groups satisfying min−p for all primes p. Notice that these groups are countable and co-Hopfian by [1, (5.4.8)]. In retrospect, the theory of saturated formations of finite soluble groups began with the results of Gaschutz [3] in 1963. He introduced the concept of “covering subgroup” as a generalization of Sylow and Hall subgroups. These covering subgroups have many of the properties of Sylow and Hall subgroups other than the arithmetic ones. The main idea of Gaschutz’s work was concerned with group theoretical classes having the same properties. He defined a formation F to be…
The Abelian Kernel of an Inverse Semigroup
2020
The problem of computing the abelian kernel of a finite semigroup was first solved by Delgado describing an algorithm that decides whether a given element of a finite semigroup S belongs to the abelian kernel. Steinberg extended the result for any variety of abelian groups with decidable membership. In this paper, we used a completely different approach to complete these results by giving an exact description of the abelian kernel of an inverse semigroup. An abelian group that gives this abelian kernel was also constructed.
Modal Consequence Relations Extending S4.3: An Application of Projective Unification
2016
We characterize all finitary consequence relations over $\mathbf{S4.3}$ , both syntactically, by exhibiting so-called (admissible) passive rules that extend the given logic, and semantically, by providing suitable strongly adequate classes of algebras. This is achieved by applying an earlier result stating that a modal logic $L$ extending $\mathbf{S4}$ has projective unification if and only if $L$ contains $\mathbf{S4.3}$ . In particular, we show that these consequence relations enjoy the strong finite model property, and are finitely based. In this way, we extend the known results by Bull and Fine, from logics, to consequence relations. We also show that the lattice of consequence relation…
The article a(n) in English quantifying expressions: A default marker of cardinality
2020
Certain English quantificational expressions feature what appears to be an indefinite article, e.g. 'a bunch, a few, a hundred'. These can be divided into three types of quantifying expressions: pseudopartitives ('a lot, a bunch, a ton'), article-requiring quantifiers ('a few, a couple, a hundred'), and article-free quantifiers ('three, many, several'); article-free quantifiers have an article under certain circumstances, e.g. modification by an adjective ('a surprising 30 …'). While standard analyses would take the article in these expressions to be a D head, it is argued here that the article is not in D, nor is it singular or count, as evidenced by its (lack of an) interaction with verba…
Hadronic light-by-light contribution to $(g-2)_\mu$ from lattice QCD with SU(3) flavor symmetry
2020
We perform a lattice QCD calculation of the hadronic light-by-light contribution to $(g-2)_\mu$ at the SU(3) flavor-symmetric point $m_\pi=m_K\simeq 420\,$MeV. The representation used is based on coordinate-space perturbation theory, with all QED elements of the relevant Feynman diagrams implemented in continuum, infinite Euclidean space. As a consequence, the effect of using finite lattices to evaluate the QCD four-point function of the electromagnetic current is exponentially suppressed. Thanks to the SU(3)-flavor symmetry, only two topologies of diagrams contribute, the fully connected and the leading disconnected. We show the equivalence in the continuum limit of two methods of computin…
Vertex corrections for positive-definite spectral functions of simple metals
2016
We present a systematic study of vertex corrections in the homogeneous electron gas at metallic densities. The vertex diagrams are built using a recently proposed positive-definite diagrammatic expansion for the spectral function. The vertex function not only provides corrections to the well known plasmon and particle-hole scatterings, but also gives rise to new physical processes such as generation of two plasmon excitations or the decay of the one-particle state into a two-particles-one-hole state. By an efficient Monte Carlo momentum integration we are able to show that the additional scattering channels are responsible for the bandwidth reduction observed in photoemission experiments on…